﻿<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
	<title>Dr. Ying JIN's Homepage</title>
</head>

<!-- 样式表 -->
<style>
.clear {
border-top:1px solid transparent !important;
clear:both;
margin-top:-1px !important;
visibility:hidden;
}
div.info {
	margin-top:20px;
}
div.info p {
	margin:5px 20px;
}
h4 {
	font-size:18px;
	margin:5px;
}
</style>

<body>
<div style="width:90%; font-size:16px;">
	
	<div>
		<img src="jinying.JPG" alt="Dr. Ying JIN"
			style="float:left; width:340px; margin-right:15px;" />
		<div>
			<p style="text-align:right;"><a href="english.htm">English</a></p>
			<h1>金 英 博士，副教授</h1>
			<h3>吉林大学计算机科学与技术学院</h3>
			<h3>&nbsp;</h3>
			<h3>办 公 室：计算机大楼A204</h3>
			<h3>办公电话：0431-85166480</h3>
			<h3>E-mail：jinying@jlu.edu.cn</h3>
			<h3>个人主页：</h3>
		</div>
		
		<div class="clear"></div>
	</div>
	
	<div class="info">
		<h2><u>学习经历：</u></h2>
		<p>1998.9 - 2002.7， 吉林大学计算机科学与技术学院，  博士研究生</p>
		<p>1995.9 - 1995.7,  吉林大学计算机科学与技术学院，  硕士研究生</p>
		<p>1988.9 - 1992.7， 吉林大学计算机系计算机软件专业，本科生</p>
	</div>
	
	<div class="info">
		<h2><u>工作经历：</u></h2>
		<p>2004.12 -        ，吉林大学计算机科学与技术学院，    副教授</p>
		<p>2006.10 - 2008.3 ，爱尔兰利默里克大学软件质量实验室，咨询顾问</p>
		<p>2003.11 - 2004.10, 爱尔兰利默里克大学软件质量实验室，高级研究人员</p>
		<p>2002.07 - 2003.05, 吉林省开元信息技术有限公司，      技术总经理</p>
		<p>1997.9  - 2004.12，吉林大学计算机科学与技术学院，    讲师</p>
		<p>1995.7  - 1997.9 , 吉林大学计算机系，                助教</p>
	</div>
	
	<div class="info">
		<h2><u>科研工作：</u></h2>
		<div>
			<p>研究兴趣主要包括：软件形式化、<a href="DocumentDrivenSD.htm">文档驱动软件开发方法</a>、移动代码安全、程序分析和程序设计语言实现技术等。</p>
			<br />
			<h4>承担和参与的科研项目：</h4>
			<p>“<a href="Projects.htm">面向方面文档驱动需求工程技术研究</a>”，“863”高技术研究发展计划专题课题，2007.9 - 2009.12，项目负责人。</p>
			<p>“<a href="Projects.htm">携带模型代码MCC方法中若干关键问题研究</a>”，国家自然科学基金青年基金项目，2007.1 - 2009.12,项目负责人。</p>
			<p>“ATLAS编译器的设计与实现”，横向项目，2003 - 2004，技术负责人。</p>
			<p>“基于Monad的软件自动生成技术”，教育部骨干教师基金，2001.1 - 2002.12，参加人。</p>
			<br />
			<h4>发表的学术论文：</h4>
			<p>在《计算机科学与技术》、《软件学报》、《计算机研究与发展》等学术期刊以及国内外学术会议上发表了20多篇学术论文。<a href="YingJINPublication.htm">详细的列表...</a></p>
		</div>
	</div>

	<div class="info">
		<h2><u>教学工作：</u></h2>
		<div>
			<p>先后主讲了“<a href="/education">编译原理</a>”和“操作系统”两门本科生专业主干课程，和研究生学位课“<a href="/education/course/CId/1">形式语义学</a>”。</p>
  			<p>参与编写了国家“十一五”规划教材《编译程序设计原理》（高等教育出版社）、《编译程序的设计与实现》（高等教育出版社）和《编译原理及实现技术》（机械工业出版社）三本教材。</p>
  			<p>积极参与了《编译原理》课程的课程建设，指导了<a href="/education/course/CId/3">《编译原理》实践课</a>。</p>
      		<p>2002年获得来吉林省教学成果二等奖（排名第二）。</p>
      		<p>2007年评为吉林大学“教书育人”先进个人。</p>
      		<p>多次为"非洲远程教育与通信研讨班"用英语讲授相关课程。</p>
      	</div>
	</div>

	<div class="info">
		<h2><u>其他：</u></h2>
		<p>留学生活、旅游、参加会议、研究小组活动等。</p>
	</div>

	<p>&nbsp;</p>
</div>
</body>
</html>